david koch trumpet